(define (problem strips-mprime-y-1)
   (:domain mystery-prime-strips)
   (:objects grapefruit chocolate cantelope ham haroset snickers
             muffin chicken pistachio lemon bacon learning love rest
             intoxication expectation understanding triumph aesthetics
             prostatitis grief dread depression sciatica abrasion hangover
             loneliness anger angina alsace quebec kentucky earth saturn
             neptune mars)
   (:init (food grapefruit)
          (food chocolate)
          (food cantelope)
          (food ham)
          (food haroset)
          (food snickers)
          (food muffin)
          (food chicken)
          (food pistachio)
          (food lemon)
          (food bacon)
          (pleasure learning)
          (pleasure love)
          (pleasure rest)
          (pleasure intoxication)
          (pleasure expectation)
          (pleasure understanding)
          (pleasure triumph)
          (pleasure aesthetics)
          (pain prostatitis)
          (pain grief)
          (pain dread)
          (pain depression)
          (pain sciatica)
          (pain abrasion)
          (pain hangover)
          (pain loneliness)
          (pain anger)
          (pain angina)
          (province alsace)
          (province quebec)
          (province kentucky)
          (planet earth)
          (planet saturn)
          (planet neptune)
          (planet mars)
          (locale snickers kentucky)
          (craves rest haroset)
          (harmony expectation mars)
          (orbits saturn neptune)
          (craves expectation muffin)
          (eats snickers muffin)
          (eats ham muffin)
          (eats cantelope chocolate)
          (craves love ham)
          (craves grief grapefruit)
          (harmony triumph saturn)
          (eats lemon bacon)
          (craves triumph lemon)
          (eats muffin ham)
          (locale chocolate quebec)
          (eats cantelope bacon)
          (craves dread cantelope)
          (craves aesthetics bacon)
          (eats chocolate haroset)
          (eats haroset chocolate)
          (craves loneliness pistachio)
          (orbits earth saturn)
          (eats ham grapefruit)
          (eats grapefruit haroset)
          (craves hangover chicken)
          (eats chicken muffin)
          (locale muffin quebec)
          (craves learning grapefruit)
          (eats haroset grapefruit)
          (harmony understanding neptune)
          (craves anger lemon)
          (craves understanding chicken)
          (eats lemon pistachio)
          (attacks alsace quebec)
          (eats bacon chicken)
          (craves abrasion muffin)
          (eats chocolate cantelope)
          (attacks quebec kentucky)
          (harmony rest mars)
          (harmony learning saturn)
          (locale lemon alsace)
          (eats muffin snickers)
          (eats pistachio snickers)
          (eats pistachio lemon)
          (craves intoxication snickers)
          (harmony aesthetics neptune)
          (craves prostatitis grapefruit)
          (locale ham kentucky)
          (craves sciatica ham)
          (eats snickers pistachio)
          (eats muffin chicken)
          (locale grapefruit quebec)
          (locale bacon alsace)
          (craves angina lemon)
          (eats bacon cantelope)
          (locale haroset alsace)
          (eats grapefruit ham)
          (eats ham cantelope)
          (eats cantelope ham)
          (locale cantelope quebec)
          (locale chicken quebec)
          (harmony intoxication saturn)
          (orbits neptune mars)
          (eats chicken bacon)
          (eats bacon lemon)
          (craves depression cantelope)
          (locale pistachio alsace)
          (harmony love saturn))
   (:goal (and (craves prostatitis cantelope))))